#!/bin/bash
set -x
(cd solvers ; wclean all)
(cd utilities ; wclean all)
